马修·索图德;阿迪蒂亚·塔库尔。 SyReNN:用于分析深层神经网络的工具。 (英语) Zbl 1474.68304号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 281-302 (2021).MSC公司:68T07型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sotoudeh}和\textit{A.V.Thakur},Lect。注释计算。科学。12652、281--302(2021;Zbl 1474.68304) 全文: 内政部 arXiv公司
简·Křetínsk;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 (英语) Zbl 1520.90206号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118,第8条,第18页(2018年)。MSC公司:90立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínský}等人,LIPIcs——莱布尼茨国际会议记录。通知。118,第8条,第18页(2018;Zbl 1520.90206) 全文: 内政部 arXiv公司